CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Modern Perspective on Type Theory : From its Origins until Today
Modern Perspective on Type Theory : From its Origins until Today by Kamareddine, F. D., Laan, T... ISBN: 9789048166398 List Price: $219.00
$128.31 (Save 41%)
2.
Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics by Kamareddine, F. D. ISBN: 9789048164400 List Price: $138.00
$101.14 (Save 26%)
3.
Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics by Kamareddine, F. D. ISBN: 9789401702546 List Price: $24.99

OUT OF STOCK

See Availability on Amazon